Luca Cardelli

Results: 34



#Item
11Manipulating Trees with Hidden Labels Luca Cardelli - Microsoft Research Philippa Gardner - Imperial College London Giorgio Ghelli - Università di Pisa Abstract. We define an operational semantics and a type system for

Manipulating Trees with Hidden Labels Luca Cardelli - Microsoft Research Philippa Gardner - Imperial College London Giorgio Ghelli - Università di Pisa Abstract. We define an operational semantics and a type system for

Add to Reading List

Source URL: www.di.unipi.it

Language: English - Date: 2003-04-11 12:19:43
    12Mobility Types for Mobile Ambients Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guaran

    Mobility Types for Mobile Ambients Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guaran

    Add to Reading List

    Source URL: www.di.unipi.it

    Language: English - Date: 2008-03-07 05:35:44
      13Ambient Groups and Mobility Types Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the

      Ambient Groups and Mobility Types Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the

      Add to Reading List

      Source URL: www.di.unipi.it

      Language: English - Date: 2008-03-07 05:32:44
        14TQL: A Query Language for Semistructured Data Based on the Ambient Logic Luca Cardelli Microsoft Research, Cambridge, UK Giorgio Ghelli

        TQL: A Query Language for Semistructured Data Based on the Ambient Logic Luca Cardelli Microsoft Research, Cambridge, UK Giorgio Ghelli

        Add to Reading List

        Source URL: www.di.unipi.it

        Language: English - Date: 2003-04-11 05:18:50
          15 Welcome to ECOOP 2009 in Genova! ECOOP 2009’s Organizing Committee is pleased to welcome you to Genova, for the 23rd European Conference on Object-Oriented Programming. Since it was first held, in Paris in 1987, ECOOP

          Welcome to ECOOP 2009 in Genova! ECOOP 2009’s Organizing Committee is pleased to welcome you to Genova, for the 23rd European Conference on Object-Oriented Programming. Since it was first held, in Paris in 1987, ECOOP

          Add to Reading List

          Source URL: ecoop09.disi.unige.it

          Language: English - Date: 2009-08-07 08:02:11
          16On The Computational Power of Biochemistry Luca Cardelli Microsoft Research with

          On The Computational Power of Biochemistry Luca Cardelli Microsoft Research with

          Add to Reading List

          Source URL: www.lucacardelli.name

          Language: English - Date: 2009-03-14 15:21:03
          17A Language with Distributed Scope Luca Cardelli Digital Equipment Corporation, Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301, USA

          A Language with Distributed Scope Luca Cardelli Digital Equipment Corporation, Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301, USA

          Add to Reading List

          Source URL: lucacardelli.name

          - Date: 2007-10-27 09:15:58
            18Obliq A language with distributed scope Luca Cardelli Digital Equipment Corporation, Systems Research Center Abstract

            Obliq A language with distributed scope Luca Cardelli Digital Equipment Corporation, Systems Research Center Abstract

            Add to Reading List

            Source URL: lucacardelli.name

            Language: English - Date: 2007-10-27 09:16:17
              19Amateur Adult Equitation Fields & Fences Palatine

              Amateur Adult Equitation Fields & Fences Palatine

              Add to Reading List

              Source URL: www.nihja.net

              Language: English - Date: 2015-05-24 23:33:13
              20Senior Medal Fields & Fences Fields & Fences

              Senior Medal Fields & Fences Fields & Fences

              Add to Reading List

              Source URL: www.nihja.net

              Language: English - Date: 2015-05-24 23:33:59